заключение от противного

См. также в других словарях:

• ДОКАЗАТЕЛЬСТВО ОТ ПРОТИВНОГО — косвенное доказательство, при котором истинность тезиса обосновывается не прямо с помощью аргументов, а посредством антитезиса положения, противоречащего тезису. Показывая, что антитезис ложен, мы тем самым обосновываем истинность… …   Философская энциклопедия

• ОПРОВЕРЖЕНИЕ — в логике рассуждение, направленное против выдвинутого утверждения, предположения или доказательства и имеющее своей целью установление его ложности или недоказанности. Различают прямое и косвенное О. При прямом О. из выдвинутого положения выводят …   Философская энциклопедия

• Теорема — (греч. theorema, от theoréo рассматриваю, исследую)         предложение некоторой дедуктивной теории (см. Дедукция), устанавливаемое при помощи Доказательства. Каждая дедуктивная теория (математика, многие её разделы, логика, теоретическая… …   Большая советская энциклопедия

• Взяточничество — как уголовный юридический термин, не встречается вовсе в нашем уголовном законодательстве, которое исчисляет лишь отдельные виды корыстных должностных преступлений, не обнимая их одним наименованием. Взяточничество представляет собой специально… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Список латинских фраз — В Викицитатнике есть страница по теме Латинские пословицы Во многих языках мира, в том числе в …   Википедия

• 1_ИНОСТРАННЫЕ ТЕРМИНЫ И ВЫРАЖЕНИЯ — Ab ovo (лат.) с самого начала (букв. с яйца). Accidens (лат.) несущественное, случайное, привходящее свойство. Actu; in actu (лат.) актуально, в действии, в действительности. Ad hoc (лат.) для данного случая. Напр., гипотеза ad hoc. Ad hominem,… …   Философская энциклопедия

• Александр II (часть 2, XIII-XIX) — XIII. Дела внутренние (1866—1871). 4 го апреля 1866 года, в четвертом часу дня, Император Александр, после обычной прогулки в Летнем саду, садился в коляску, когда неизвестный человек выстрелил в него из пистолета. В эту минуту, стоявший в… …   Большая биографическая энциклопедия

• МАТЕМАТИКА — Математику обычно определяют, перечисляя названия некоторых из ее традиционных разделов. Прежде всего, это арифметика, которая занимается изучением чисел, отношений между ними и правил действий над числами. Факты арифметики допускают различные… …   Энциклопедия Кольера

• ВЫВОД — в (традиционной) логике рассуждение, в ходе которого из некоторых исходных высказываний (суждений), называемых посылками, с помощью логических правил получают новое высказывание, называемое заключением. Напр., из высказываний «Все полноправные… …   Философская энциклопедия

• БРАК — общественный, и в частности правовой, институт, заключающийся в продолжительном союзе лиц муж. и жен. пола, составляющем основу семьи. История человечества знает разные формы Б.: моногамный (Б. одного мужа и одной жены), полигамный (многоженство) …   Православная энциклопедия

• Александр I (часть 2, III) — Период третий. ПОСЛЕДНЕЕ ДЕСЯТИЛЕТИЕ (1816 1825). В Петербурге начало 1816 года было ознаменовано рядом придворных празднеств: 12 го (24 го) января состоялось бракосочетание Великой Княгини Екатерины Павловны с Наследным принцем виртембергским, а …   Большая биографическая энциклопедия